Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
- Highlights
- Specifying and Verifying Concurrent C Programs with TLA+
- Active Diagnosis with Observable Quiescence
- Test Case Generation for Concurrent Systems Using Event Structures
- State Space Reduction Strategie for Model Checking Concurrent C Programs
- Simple Priced Timed Games Are Not That Simple
- A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems
- An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic
- Preserving Partial Order Runs in Parametric Time Petri Nets
- Non-Atomic Transition Firing in Contextual Nets
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
- Highlights
- Specifying and Verifying Concurrent C Programs with TLA+
- Active Diagnosis with Observable Quiescence
- Test Case Generation for Concurrent Systems Using Event Structures
- State Space Reduction Strategie for Model Checking Concurrent C Programs
- Simple Priced Timed Games Are Not That Simple
- A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems
- An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic
- Preserving Partial Order Runs in Parametric Time Petri Nets
- Non-Atomic Transition Firing in Contextual Nets
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Previous | 
Home